Theoretical Computer Science

This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3--5, 2025.The 9 full papers and 1 short p…

lieferbar innerhalb 2-3 Wochen

Buch

Graph-Theoretic Concepts in Computer Science

This book constitutes the refereed proceedings of the 50th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2024, held in Gozd Martuljek, Slovenia in June 2024,The 31 papers pres…

lieferbar innerhalb 2-3 Wochen

Buch

Peter Coveney, Roger Highfield
Virtual You

The visionary science behind the digital human twins that will enhance our health and our futureVirtual You is a panoramic account of efforts by scientists around the world to build digital twins of human…

lieferbar innerhalb 1-2 Wochen

Buch

Arithmetic and Algebraic Geometry

This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of modern mathematics. His work covered a wide range of fields, including logi…

lieferbar innerhalb 2-3 Wochen

Buch

Lucien Sina
Complexity Theory

What is complexity theory - and why is it so central to computer science? Complexity theory studies how much time, memory, or other resources are needed to solve algorithmic problems. It provides the foun…

lieferbar innerhalb 2-3 Wochen

Buch

Ji¿í Adámek, Stefan Milius, Lawrence S. Moss
Initial Algebras and Terminal Coalgebras

Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of theoretical computer science…

lieferbar innerhalb 2-3 Wochen

Buch

Pardalos Panos M
Mathematical Analysis, Optimization, Approximation & Appln

The comprehensive volume focuses on both research and survey papers presenting results in a broad spectrum of subjects in pure and applied mathematics, such as in approximation theory, optimization and th…

lieferbar innerhalb 2-3 Wochen

Buch

Principles of Formal Quantitative Analysis

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

Tullio Ceccherini-Silberstein, Michel Coornaert
Cellular Automata and Groups

This unique book provides a self-contained exposition of the theory of cellular automata on groups and explores its deep connections with recent developments in geometric and combinatorial group theory, a…

lieferbar innerhalb 2-3 Wochen

Buch

Joseph O'Rourke
The Mathematics of Origami

When you see a paper crane, what do you think of? A symbol of hope, a delicate craft, The Karate Kid? What you might not see, but is ever present, is the fascinating mathematics underlying it. Origami is …

lieferbar ab 18.12.2025.

Buch

Joseph O'Rourke
The Mathematics of Origami

When you see a paper crane, what do you think of? A symbol of hope, a delicate craft, The Karate Kid? What you might not see, but is ever present, is the fascinating mathematics underlying it. Origami is …

lieferbar ab 18.12.2025.

Buch

Vera Traub, Jens Vygen
Approximation Algorithms for Traveling Salesman Problems

The Traveling Salesman Problem (TSP) is a central topic in discrete mathematics and theoretical computer science. It has been one of the driving forces in combinatorial optimization. The design and analys…

lieferbar innerhalb 2-3 Wochen

Buch

Brian Cantwell Smith
Computational Reflections

A groundbreaking critique of the philosophical foundations of computing.Computational Reflections is a wholly original investigation into the philosophical foundations of computing. Brian Cantwell Smith d…

lieferbar ab 12.5.2026.

Buch